Analyse statistique linéaire et interprétation systémique

Analyse statique par interprétation abstraite

Abstract interpretation was introduced as a generic framework, which allows to formalize, derive and prove static analyses, which are based on conservative approximation, that is, which are able to establish a fixed property for a subset of the programs which actually satisfy it. First, we provide a step by step description of the main steps in the design of such analyses, from the choice of a ...

Typicalité et contribution des sujets et des variables supplémentaires en Analyse Statistique Implicative

Résumé. L’analyse statistique implicative traite des tableaux sujets x variables afin d’extraire règles et métarègles statistiques entre les variables. L’article interroge les structures obtenues représentées par graphe et hiérarchie orientés afin de dégager la responsabilité des sujets ou des groupes de sujets (variables supplémentaires) dans la constitution des chemins du graphe ou des classe...

Credit scoring, statistique et apprentissage

Les accords dits « Bâle 2 » sur la solvabilité des banques ont remis au goût du jour les techniques de scoring en imposant aux banques de calculer des probabilités de défaut et le montant des pertes en cas de défaut. Nous présentons dans cet exposé les principales techniques utilisées et les problèmes actuels. Le terme credit scoring désigne un ensemble d’outils d’aide à la décision utilisés pa...

Analyse statique par interprétation abstraite de systèmes hybrides

ion de la partie continue Dans ce chapitre, nous présentons une abstraction de la partie continue des systèmes hybrides décrits au chapitre 5. Notre but est d’utiliser les algorithmes d’intégration garantie présentés au chapitre 3 comme une abstraction, au sens de l’interprétation abstraite, de la sémantique de la partie continue. Nous commençons donc par définir intuitivement les conditions qu...

Interprétation Et Reconnaissance D'images Et De Documents Theme Cog Rennes